model checking mutual exclusion algorithms using uppaal

This paper proposes an approach to modelling and exhaustive verification of mutual exclusion algorithms which is based on Timed Automata in the context of the popular Uppaal toolbox. The approach makes it possible to study the properties of a mutual exclusion algorithm also in the presence of the time dimension. For demonstration purposes some historical algorithms are modelled and thoroughly analyzed, going beyond some informal reasoning reported in the literature. The paper also proposes a mutual exclusion algorithm for $N \ge 2$ processes whose model checking confirms it satisfies all the required properties

A novel oncogenic BTK isoform is overexpressed in colon cancers and required for RAS-mediated transformation

20siBruton's tyrosine kinase (BTK) is essential for B-cell proliferation/differentiation and it is generally believed that its expression and function are limited to bone marrow-derived cells. Here, we report the identification and characterization of p65BTK, a novel isoform abundantly expressed in colon carcinoma cell lines and tumour tissue samples. p65BTK protein is expressed, through heterogeneous nuclear ribonucleoprotein K (hnRNPK)-dependent and internal ribosome entry site-driven translation, from a transcript containing an alternative first exon in the 5'-untranslated region, and is post-transcriptionally regulated, via hnRNPK, by the mitogen-activated protein kinase (MAPK) pathway. p65BTK is endowed with strong transforming activity that depends on active signal-regulated protein kinases-1/2 (ERK1/2) and its inhibition abolishes RAS transforming activity. Accordingly, p65BTK overexpression in colon cancer tissues correlates with ERK1/2 activation. Moreover, p65BTK inhibition affects growth and survival of colon cancer cells. Our data reveal that BTK, via p65BTK expression, is a novel and powerful oncogene acting downstream of the RAS/MAPK pathway and suggest that its targeting may be a promising therapeutic approach.openopenGrassilli, Emanuela; Pisano, Fabio; Cialdella, Annamaria; Bonomo, Sara; Missaglia, Carola; Cerrito, Maria Grazia; Masiero, Laura; Ianzano, Leonarda; Giordano, Federica; Cicirelli, Vittoria; Narloch, Robert; D'Amato, Filomena; Noli, Barbara; Ferri, Gian Luca; Leone, Biagio; Stanta, Giorgio; Bonin, Serena; Helin, Kristian; Giovannoni, Roberto; Lavitrano, MarialuisaGrassilli, Emanuela; Pisano, Fabio; Cialdella, Annamaria; Bonomo, Sara; Missaglia, Carola; Cerrito, Maria Grazia; Masiero, Laura; Ianzano, Leonarda; Giordano, Federica; Cicirelli, Vittoria; Narloch, Robert; D'Amato, Filomena; Noli, Barbara; Ferri, Gian Luca; Leone, Biagio; Stanta, Giorgio; Bonin, Serena; Helin, Kristian; Giovannoni, Roberto; Lavitrano, Marialuis

A novel oncogenic BTK isoform is overexpressed in colon cancers and required for RAS-mediated transformation

Bruton’s tyrosine kinase (BTK) is essential for B-cell proliferation/differentiation and it is generally believed that its expression and function are limited to bone marrow-derived cells. Here, we report the identification and characterization of p65BTK, a novel isoform abundantly expressed in colon carcinoma cell lines and tumor tissue samples. p65BTK protein is expressed, through hnRNPK-dependent and IRES-driven translation, from a transcript containing an alternative first exon in the 5’UTR, and is post-transcriptionally regulated, via hnRNPK, by the MAPK pathway. p65BTK is endowed with strong transforming activity that depends on active ERK1/2 and its inhibition abolishes RAS transforming activity. Accordingly, p65BTK overexpression in colon cancer tissues correlates with ERK1/2 activation. Moreover, p65BTK inhibition affects growth and survival of colon cancer cells. Our data reveal that BTK, via p65BTK expression, is a novel and powerful oncogene acting downstream of the RAS/MAPK pathway and suggest that its targeting may be a promising therapeutic approac

Sibling relationships and family functioning in siblings of early adolescents, adolescents and young adults with autism spectrum disorder

The purpose of the study was to investigate how family functioning (defined as the ability that family members hold to manage stressful events, and intimate and social relationships), the degree to which family members feel happy and fulfilled with each other (called family satisfaction), and the demographical characteristics of siblings (age and gender) impacted on sibling relationships. The Circumplex Model of Marital and Family Systems and Behavioral Systems constituted the theoretical frameworks that guided our study. Eighty-six typically developing adolescents and young adults having a sister or a brother with autism spectrum disorder were enrolled. Results indicated that the youngest age group (early adolescents) reported to engage more frequently in negative behaviors with their siblings with ASD than the two older age groups (middle adolescents and young adults). No significant differences were found among the three age groups regarding behaviors derived from attachment, caregiving and affiliative systems. Family satisfaction and age significantly predicted behaviors during sibling interactions. Suggestions on prevention and intervention programs were discussed in order to prevent parentification among typically developing siblings and decrease episodes of quarrels and overt conflicts between brothers and sisters with and without AS

Hybrid intelligent framework for automated medical learning

This paper investigates the automated medical learning and proposes hybrid intelligent framework, called Hybrid Automated Medical Learning (HAML). The goal is the efficient combination of several intelligent components in order to automatically learn the medical data. Multi agents system is proposed by using distributed deep learning, and knowledge graph for learning medical data. The distributed deep learning is used for efficient learning of the different agents in the system, where the knowledge graph is used for dealing with heterogeneous medical data. To demonstrate the usefulness and accuracy of the HAML framework, intensive simulations on medical data were conducted. A wide range of experiments were conducted to verify the efficiency of the proposed system. Three case studies are discussed in this research, the first case study is related to process mining, and more precisely on the ability of HAML to detect relevant patterns from event medical data. The second case study is related to smart building, and the ability of HAML to recognize the different activities of the patients. The third one is related to medical image retrieval, and the ability of HAML to find the most relevant medical images according to the image query. The results show that the developed HAML achieves good performance compared to the most up-to-date medical learning models regarding both the computational and cost the quality of returned solutionspublishedVersio

Internet of Things for Sustainable Community Development: Introduction and Overview

The two-third of the city-dwelling world population by 2050 poses numerous global challenges in the infrastructure and natural resource management domains (e.g., water and food scarcity, increasing global temperatures, and energy issues). The IoT with integrated sensing and communication capabilities has the strong potential for the robust, sustainable, and informed resource management in the urban and rural communities. In this chapter, the vital concepts of sustainable community development are discussed. The IoT and sustainability interactions are explained with emphasis on Sustainable Development Goals (SDGs) and communication technologies. Moreover, IoT opportunities and challenges are discussed in the context of sustainable community development

Bidirectional Associations Between Sibling Relationships and Parental Support During Adolescence

Sibling relationships and parental support are important for adolescents’ development and well-being, yet both are likely to change during adolescence. Since adolescents participate in both the sibling relationship and the parent–child relationship, we can expect sibling relationships and parental support to be associated with each other. Theoretically, it can be expected that there is either a spillover from one relationship to another (congruence hypothesis) or that one relationship can compensate for the other (compensation hypothesis). However, research examining these associations in adolescence is limited. The present study longitudinally investigated the bidirectional associations between sibling relationships and parental support during adolescence. For five consecutive years, data were collected using self-reports of 428 families, consisting of a father, a mother, and two adolescent siblings. The mean ages of the first-born (52.8% males) and second-born (47.7% males) were 15 and 13 years at T1, respectively. For the second-born siblings, prospective associations were found between sibling relationships and adolescent-reported parental support in early adolescence, with no differences between same-sex and mixed-sex dyads. These associations were not found for first-born siblings or for parents’ reports of support. The findings suggest a spillover from the sibling relationship to adolescent-reported parental support only in early adolescence. Findings and implications are discussed in terms of the congruence/spillover and the compensation hypothesis

Insights into Eyestalk Ablation Mechanism to Induce Ovarian Maturation in the Black Tiger Shrimp

Eyestalk ablation is commonly practiced in crustacean to induce ovarian maturation in captivity. The molecular mechanism of the ablation has not been well understood, preventing a search for alternative measures to induce ovarian maturation in aquaculture. This is the first study to employ cDNA microarray to examine effects of eyestalk ablation at the transcriptomic level and pathway mapping analysis to identify potentially affected biological pathways in the black tiger shrimp (Penaeus monodon). Microarray analysis comparing between gene expression levels of ovaries from eyestalk-intact and eyestalk-ablated brooders revealed 682 differentially expressed transcripts. Based on Hierarchical clustering of gene expression patterns, Gene Ontology annotation, and relevant functions of these differentially expressed genes, several gene groups were further examined by pathway mapping analysis. Reverse-transcriptase quantitative PCR analysis for some representative transcripts confirmed microarray data. Known reproductive genes involved in vitellogenesis were dramatically increased during the ablation. Besides these transcripts expected to be induced by the ablation, transcripts whose functions involved in electron transfer mechanism, immune responses and calcium signal transduction were significantly altered following the ablation. Pathway mapping analysis revealed that the activation of gonadotropin-releasing hormone signaling, calcium signaling, and progesterone-mediated oocyte maturation pathways were putatively crucial to ovarian maturation induced by the ablation. These findings shed light on several possible molecular mechanisms of the eyestalk ablation effect and allow more focused investigation for an ultimate goal of finding alternative methods to replace the undesirable practice of the eyestalk ablation in the future

Advice About Life Plans and Personal Problems in Late Adolescent Sibling Relationships

This study examined older adolescents' perceptions of the following sibling relationship characteristics: advice about life plans and personal problems, satisfaction with support, and sibling influence on interests and goals. Little is known about late adolescent sibling relationships and siblings' role in the identity formation process. Differences between first- and secondborns, males and females, and opposite- and same-gender sibling pairs were explored. Participants were 223 adolescents ( M = 17.5 years old) who filled out a survey in their senior year of high school. All adolescents were from always-married families and had one sibling between the ages of 13 and 23. Analyses revealed that both secondborns and females reported receiving more advice, being more satisfied with sibling support, and being influenced more by their sibling than firstborns and males, respectively. In addition, those in female–female sibling pairs received more advice from their siblings than those in male–male and mixed gender pairs. Findings revealed that adolescents do sometimes rely on their siblings as a source of advice about life plans and personal problems.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/45282/1/10964_2004_Article_423236.pd